Injecting mechanical faults to localize developer faults for evolving software

Relating Code Faults to Human Developer Characteristics

In efforts to reduce the number of faults in software, there has been much focus on technical approaches, such as fault prediction schemes. These approaches have now reached a ceiling in their efficacy and 20% of faults cannot be recalled even with the best prediction techniques currently available. In the end, faults in software are caused by human software developers; in most cases, this is e...

Attacking an Obfuscated Cipher by Injecting Faults

We study the strength of certain obfuscation techniques used to protect software from reverse engineering and tampering. We show that some common obfuscation methods can be defeated using a fault injection attack, namely an attack where during program execution an attacker injects errors into the program environment. By observing how the program fails under certain errors the attacker can deduc...

Using abstract dependences to localize faults from procedural programs

Use of fault localization in control engineering where engineers often employ the procedural programming paradigm. Often control software is safety-critical and thus detection but also localization of bugs is uttermost important. Detecting and locating faults is one of the most important phase of Software Engineering. Many efforts have been taken to improve software development and to prevent f...

Path Conditions Help to Locate and Localize Faults from Programs

Precisely and automatically detection of faults in programs, is a software engineering dream. Every effort in this regard takes us one step closer to realizing it. Many efforts have been taken from the people of these areas on testing, verification and debugging. We are proposing such effort for the research community of this domain is using path conditions to generate a minimal set of PLOFC (p...

Techniques for Diagnosing Software Faults